We introduce new proof systems for propositional logic, simple deduction Frege systems, general deduction Frege systems, and nested deduction Frege systems, which augment Frege systems with variants of the deduction rule. We give upper bounds on the lengths of proofs in Frege proof systems compared to lengths in these new systems. As applications we give near-linear simulations of the propositional Gentzen sequent calculus and the natural deduction calculus by Frege proofs. The length of a proof is the number of lines (...) in the proof. A general deduction Frege proof system provides at most quadratic speedup over Frege proof systems. A nested deduction Frege proof system provides at most a nearly linear speedup over Frege system where by "nearly linear" is meant the ratio of proof lengths is O) where α is the inverse Ackermann function. A nested deduction Frege system can linearly simulate the propositional sequent calculus, the tree-like general deduction Frege calculus, and the natural deduction calculus. Hence a Frege proof system can simulate all those proof systems with proof lengths bounded by O). Also we show that a Frege proof of n lines can be transformed into a tree-like Frege proof of O lines and of height O. As a corollary of this fact we can prove that natural deduction and sequent calculus tree-like systems simulate Frege systems with proof lengths bounded by O. (shrink)

The article explores the living legacy of Carla Lonzi for Italian feminism. In so doing, it highlights some key contributions made by Lonzi, in particular focussing on the necessity of taking leave of patriarchy (thanks to the invention of self-awareness), the critique of the universal (beyond the false alternative between female identity and equality with man), and the dogma of the heterosexual couple and clitoral pleasure.

Knowledge about eating habits is relevant for understanding the relations between diet, obesity and development of Chronic Non-Communicable Diseases. The storage of calories as body fat, mainly in the visceral subcutaneous adipose tissue, as consequence of hypercaloric diet poor in nutrients, is responsible for increasing sublinic inflammation and overloading the immune system. Diet plays an important role in reducing inflammation. In time of infectious pandemia, of the new corona virus (COVID-19), the food quality and nutritional status of Brazilians may interfere (...) in fighting this infection. Based on the literature, this article aims to discuss the Brazilians eating habbits and nutritional status. The data shows that Brazilian are gainning weight and tend to a diet poor in nutrient intake. Consequently this scenario favors the subclinical inflammation and the weakness of the immune response. We suggest that Brazilian Health Authorities pay attention to this issue. (shrink)

Testimonio que recoge algunas experiencias y reflexiones de la artista visual costarricense María Rapela en Alemania y de cómo se involucró en la gestión cultural, coordinando el Fieber Festival, una plataforma colaborativa y auto-gestionada de mujeres artistas migrantes iberoamericanas en Berlín entre el 2011 y el 2017.

At the centenary of the creation of Diary of a Newlywed Poet, this paper elaborates on its metaphysical discovery. Building on the relevant concepts of the poet's aesthetics, it discovers the search for meaning in the poems in the light of sensitive enrichment, the understanding of reality and the stimulation of the receiver's conscience. The study was performed in the triple sense of cultivation, term under which the poet held a theory of human development, as cultivation of sensitivity, intelligence and (...) conscience. (shrink)

São cento e cinquenta os códices que António Ribeiro dos Santos legou à Real Biblioteca Pública da Corte. O cuidado posto na sua organização, a exaustividade com que o trabalho foi executado, a sucessão de originais, cópias e borrões fazem deste núcleo documental uma peça indispensável para compreender a intervenção pública e profissional de Ribeiro dos Santos, sobretudo no que se relaciona com a Real Biblioteca Pública, mas também o carácter e as opções filosóficas do autor. Os códices foram organizados (...) tendo em vista preservar a memória de uma vida. Corporizam um manancial informativo que em duzentos anos despertou pouca atenção, constatação que proporcionou espaço para reflectir sobre a obra de Ribeiro dos Santos, escalpelizando o conteúdo e a organização dos códices. (shrink)

Ou como um manuscrito do século XVIII, que não mereceu a glória de ser publicado, constitui uma fonte documental de indesmentível interesse. Trata-se de um relato de viagem de Lisboa a Roma na segunda metade do século XVIII o qual, embora não corresponda à descrição de uma peregrinação, revela com clareza questões culturais e religiosas que atormentam o Portugal de setecentos. Um diário de viagem que ajuda a compreender, em parte, o rótulo de exótico que a Europa iluminada atribuía a (...) Portugal. Através de uma leitura atenta, conseguem identificar-se elos, à primeira vista imperceptíveis, valorizando o próprio documento e lançando pistas para situar e compreender figuras de relevo naquele período da história portuguesa. O presente relato, como acontece com a literatura de viagens em geral, atribui ao leitor a responsabilidade de perscrutar a intenção do autor. Discute-se ainda a autoria, origem e fins do manuscrito, um conjunto de elementos que explicam a importância do mesmo. (shrink)

We consider a modification of the pigeonhole principle, M P H P, introduced by Goerdt in [7]. M P H P is defined over n pigeons and log n holes, and more than one pigeon can go into a hole (according to some rules). Using a technique of Razborov [9] and simplified by Impagliazzo, Pudlák and Sgall [8], we prove that any Polynomial Calculus refutation of a set of polynomials encoding the M P H P, requires degree Ω(log n). We (...) also prove a simple Lemma giving a simulation of Resolution by Polynomial Calculus. Using this lemma, and a Resolution upper bound by Goerdt [7], we obtain that the degree lower bound is tight. Our lower bound establishes the optimality of the tree-like Resolution simulation by the Polynomial Calculus given in [6]. (shrink)

This volume includes recent contributions to the philosophy of science from a historical point of view and of the highest topicality: the range of the topics covers all fields in the philosophy of the science provided by authors from around the world focusing on ancient, modern and contemporary periods in the development of the science philosophy. This proceedings is for the scientific community and students at graduate level as well as postdocs in this interdisciplinary field of research.

This is the first of two volumes comprising the papers submitted for publication by the invited participants to the Tenth International Congress of Logic, Methodology and Philosophy of Science, held in Florence, August 1995. The Congress was held under the auspices of the International Union of History and Philosophy of Science, Division of Logic, Methodology and Philosophy of Science. The invited lectures published in the two volumes demonstrate much of what goes on in the fields of the Congress and give (...) the state of the art of current research. The two volumes cover the traditional subdisciplines of mathematical logic and philosophical logic, as well as their interfaces with computer science, linguistics and philosophy. Philosophy of science is broadly represented, too, including general issues of natural sciences, social sciences and humanities. The papers in Volume One are concerned with logic, mathematical logic, the philosophy of logic and mathematics, and computer science. (shrink)

This book gives a state-of-the-art survey of current research in logic and philosophy of science, as viewed by invited speakers selected by the most prestigious international organization in the field. In particular, it gives a coherent picture of foundational research into the various sciences, both natural and social. In addition, it has special interest items such as symposia on interfaces between logic and methodology, semantics and semiotics, as well as updates on the current state of the field in Eastern Europe (...) and the Far East. (shrink)

This book gives a state-of-the-art survey of current research in logic and philosophy of science, as viewed by invited speakers selected by the most prestigious international organization in the field. In particular, it gives a coherent picture of foundational research into the various sciences, both natural and social. In addition, it has special interest items such as symposia on interfaces between logic and methodology, semantics and semiotics, as well as updates on the current state of the field in Eastern Europe (...) and the Far East. (shrink)

Dal "disegno su sabbia" delle donne australiane alle terrecotte delle donne del Camerun, dai retablos peruviani agli altari vodou degli immigrati haitiani a New York, dalla "Casa del popolo" del regno di Bandjoun alle "vetrinette" italiane degli anni Sessanta, dai malanggan e dai manufatti annodati dell'Oceania alla topologia dei nodi, dai bologan del Mali alla "Potlatch Collection" rimpatriata nei nuovi musei indigeni del Canada, dalle maschere gelede degli Yoruba alla figura ubiqua e mediatica di Mami Wata, i saggi di questo (...) volume evidenziano le valenze operative dell'arte: sia nell'arena sociale e politica contemporanea, cui appartengono anche le "tradizioni", sia nel campo cognitivo e religioso. A lungo confinata ai soli territori esotici delle culture "primitive" e limitata da un'eccessiva dipendenza dalle categorie interpretative occidentali, la riflessione antropologica sull'arte e sull'estetica trova oggi un nuovo respiro teorico, e un nuovo fascino. (shrink)

Spinoza no ha elaborado una doctrina sistemática sobre la tolerancia, sin embargo resulta manifiesta su preocupación por los efectos que tienen para el estado moderno tanto su carencia como una excesiva permisividad en este asunto. En el Tratado Teológico-político el filósofo censura la conducta pertinaz de los fariseos por su falta de tolerancia, al mismo tiempo que contempla con recelo la complacencia de algunos políticos holandeses que, en el presente, hacen gala de una tolerancia hipertrofiada. En el presente artículo consideraremos (...) la posición de Spinoza ante estas dos tradiciones, y su propuesta a favor de delimitar con claridad las fronteras de la tolerancia en el estado con el fin de proteger el imperium de la república y la libertad del ciudadano. (shrink)

Enrique Leff sostiene que las causas profundas de la crisis ambiental se basan en formas dominantes de conocimiento, es decir, la crisis tiene sus raíces en las bases epistemológicas de la modernidad. Leff sistemáticamente se ha dedicado a proponer y construir conceptos que deconstruyen los supuestos modernos, y que al mismo tiempo, permiten nuevas formas de entender y aprehender el mundo. Su extensa obra ha logrado trascender y forjar un espacio para el pensamiento ambiental, no sólo en la educación y (...) la filosofía ambiental, sino también en las áreas de la economía, la sociología y el desarrollo. Su argumento central es que estos problemas son el resultado de una crisis de la civilización, e insta a todos a repensar los fundamentos de la racionalidad moderna que subyace a la sociedad global contemporánea. (shrink)

Enrique Leff sostiene que las causas profundas de la crisis ambiental se basan en formas dominantes de conocimiento, es decir, la crisis tiene sus raíces en las bases epistemológicas de la modernidad. Leff sistemáticamente se ha dedicado a proponer y construir conceptos que deconstruyen los supuestos modernos, y que al mismo tiempo, permiten nuevas formas de entender y aprehender el mundo. Su extensa obra ha logrado trascender y forjar un espacio para el pensamiento ambiental, no sólo en la educación y (...) la filosofía ambiental, sino también en las áreas de la economía, la sociología y el desarrollo. Su argumento central es que estos problemas son el resultado de una crisis de la civilización, e insta a todos a repensar los fundamentos de la racionalidad moderna que subyace a la sociedad global contemporánea. (shrink)

El propósito de este trabajo es mostrar, primero, cómo se formaron las ciencias sociales, con qué características y presupuestos, y comprender sus dificultades para entender y abordar los problemas ambientales. En un segundo momento se presentarán unas reflexiones en torno al conocimiento y su relación con el ambiente, así como la importancia de superar la escisión entre las llamadas ciencias duras y las sociales/humanas, y la necesidad de aportes como los de las ciencias de la complejidad, de los estudios culturales, (...) de modernidad/colonialidad, y del pensamiento ambiental, como desafíos y posibilidades para abordar el problema ambiental de manera integral. Este conjunto de aproximaciones representa un reto grande para las ciencias sociales, pero sin enfrentarlo será imposible abordar los problemas ambientales de manera adecuada. (shrink)

Los derechos sociales no han estado incorporados en las Comunidades Europeas, sino como consecuencias de la libre circulación de personas. Poco a poco a través de la política social se han ido asumiendo exigencias sociales que han desembocado en la formulación de derechos sociales denominados hoy "derechos de la solidaridad" en la Carta de Derechos Fundamentales de la Unión. No obstante, su efectividad y su justicialidad continúan siendo un interrogante y expresión del déficit de la U.E.

L’autrice sostiene che l’arte contemporanea etnicamente marcata – arte contemporanea africana, aborigena, nativa – è inclusa nell’arte contemporanea tout court – la categoria non-marcata e dominante – nella forma dell’eccezione agambeniana, ossia secondo quella logica di esclusione inclusiva che caratterizza anche le opposizioni privative in semantica cognitiva e le opposizioni gerarchiche di Louis Dumont (l’englobement du contraire). L’esame di alcuni esempi rivela come il diniego di coevità (Johannes Fabian) riservato agli Altri, prima che alla loro arte, sia tuttora operante e (...) si esprima anche in un certo discorso curatoriale, principalmente attraverso l’applicazione di coppie di opposti categoriali all’arte contemporanea marcata/non-marcata. Questo tipo di discorso, includendo paradossalmente l’arte etnicamente marcata nella contemporaneità proprio in virtù della sua temporalità diversa e disgiuntiva, riafferma surrettiziamente la differenza antropologica che ci divide dai suoi creatori. Un riesame critico delle dicotomie che qualificano il dualismo antropologico noi/altri nel paradigma storico-artistico dominante, conclude l’autrice, sembra premessa necessaria per apprezzare le altre estetiche: estetiche che sono a noi coeve, e che non necessariamente pertengono a ciò che, per noi, è arte. (shrink)